int32 data3 # 42